(Top): Update the top-level menus. Make the detailed menu headers compliant

(Top): Update the top-level menus.  Make the detailed menu headers compliant
with Texinfo guidelines and with what texnfo-upd.el expects.  Add comments to
prevent people from inadvertently modifying the key parts needed by
`texinfo-multiple-files-update'.